Object code - PDFSEARCH.IO - Document Search Engine

Object code
Results: 563

#	Item
201	WIND RIVER DIAB COMPILER Boost application performance, reduce memory footprint, and produce high-quality, standards-compliant object code for embedded systems with Wind River® Diab Compiler. It’s backed by an award-w Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-02-27 13:09:11 Wind River Systems Embedded operating systems Cross-platform software Dataindustrier AB VxWorks Embedded system Linux Functional Safety Compiler Software Computing Real-time operating systems
202	Task Partitioning in a Robot Swarm: Object Retrieval as a Sequence of Subtasks with Direct Object Transfer Giovanni Pini,* Add to Reading List Source URL: code.ulb.ac.be Language: English - Date: 2014-10-21 12:04:13 Swarm robotics Biology Time Mobile robot Robot Swarm behaviour Future of robotics
203	Object and Source Coverage for Critical Applications with the C OUVERTURE Open Analysis Framework Matteo Bordin, Cyrille Comar, Tristan Gingold, ´ ome ˆ Jer Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-08-29 18:34:45 Computer programming Software metrics Code coverage Modified condition/decision coverage Conditional DO-248B Control flow Gcov C Software engineering Software testing Computing
204	Your Code as a Crime Scene Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2015-03-24 12:39:16 Software architecture Software metrics Coupling Object-oriented programming Maat Railway coupling Modularity Test-driven development Software development Software engineering Mechanical engineering
205	PART 2: Proposed Research and Yu formally described a substantial subset of the Motorola MC68020 processor in the logic of the Boyer-Moore prover and used the resulting model to verify compiler generated object code for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-06-02 11:31:35 Mathematical software Formal verification KeY ARM architecture Model checking Computer security ACL2 Software development process Logic simulation Electronic engineering Theoretical computer science Formal methods
206	Refactoring with Design Patterns Qafoo GmbH January 25, 2014 Me I Add to Reading List Source URL: qafoo.com Language: English - Date: 2015-02-06 05:44:59 Computing Code refactoring Design Patterns Object-oriented programming Factory method pattern Factory Strategy pattern Object-oriented design Abstract factory pattern Software design patterns Software engineering Computer programming
207	Predicting Class Testability using Object-Oriented Metrics Magiel Bruntink Arie van Deursen CWI, P.O Box 94079 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-11-26 15:59:20 Software Software testability Software quality Cyclomatic complexity JUnit Source lines of code Unit testing Test automation Code coverage Software testing Software metrics Software engineering
208	Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:24:37 Binary decision diagram Model checking Software metrics Software engineering Modified condition/decision coverage Code coverage Mathematics Formal methods Software testing Boolean algebra Diagrams
209	Towards the Internet of Things: An introduction to RFID technology Miguel L. Pardal and Jos´e Alves Marques Department of Computer Science and Engineering Instituto Superior T´ecnico, Technical University of Lisbon Av. Add to Reading List Source URL: web.ist.utl.pt Language: English - Date: 2012-10-15 14:15:50 Humanâ€“computer interaction Identification Electronic Product Code Application Level Events EPCglobal Auto-ID Labs ODIN technologies Track and trace Object hyperlinking Radio-frequency identification Automatic identification and data capture Technology

UPDATE